You have chosen Nominalism and Substitutional Quantifiers, Laughter and Laughter.
All three must be different; choose another text.